Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
171	Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers Antoniu Pop 1 and Albert Cohen 2 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-07-28 10:49:00 Parallel computing Compiler construction Programming language implementation Compilers Procedural programming languages Compiler OpenMP GNU Compiler Collection Static single assignment form Computing Software Computer programming
172	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
173	A UTP semantics for Circus Marcel Oliveira1 , Ana Cavalcanti2 , and Jim Woodcock2 1 Departamento 2 Department de Inform´ Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Logic in computer science Programming language semantics Process calculi Process calculus Denotational semantics Divergence Formal methods Ease Trace Computing Theoretical computer science Software engineering
174	References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2015-05-13 04:41:10 Glabbeek Lecture Notes in Computer Science Operational semantics Geography of Belgium Computer science Belgium Electronic Proceedings in Theoretical Computer Science Logic in computer science Programming language semantics
175	Omni-directional Hyper Logic Programs in SILK and RIF Benjamin Grosof1 , Carl Andersen2 , Mike Dean2 , and Michael Kifer3 1 2 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-09-29 10:18:55 Reasoning Science Semantic Web Programming paradigms Boolean algebra Rule Interchange Format Semantic Web Rule Language Stable model semantics Knowledge representation and reasoning Logic Logic programming Mathematical logic
176	Programmatic Semantics for Natural Language Interfaces Add to Reading List Source URL: larifari.org Language: English - Date: 2014-02-14 14:48:52 Cross-platform software Programming paradigms METAFOR Programming language Actor model Object-oriented programming Python C This Software engineering Computing Computer programming
177	A Veried Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P. Oliva Mitchell Wand wand@ ora.ccs.northeastern.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Programming language implementation PreScheme Scheme programming language Logic in computer science Programming language semantics Denotational semantics Compiler Scheme Programming language Software engineering Computing Programming language theory
178	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
179	FACSAn Open System Operational Semantics for an Object-Oriented and Component-Based Language Jasmin Christian Blanchette and Olaf Owe Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2009-11-22 11:37:03 Logic in computer science Programming language semantics Actor model Concurrent computing Symbol Binding Operational semantics Objective-C Computing Software engineering Computer programming
180	Fundamenta Informaticae XXI–IOS Press Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2007-08-15 03:03:16 Computing Standard ML Pointer Programming language semantics Software engineering Functional languages Computer programming

UPDATE